win32 theme: Get rid of deprecated style properties
authorBenjamin Otte <otte@gnome.org>
Sun, 7 Feb 2016 03:11:55 +0000 (04:11 +0100)
committerBenjamin Otte <otte@redhat.com>
Thu, 11 Feb 2016 02:44:47 +0000 (03:44 +0100)
commitce8a98e21b96e7bc37abfb013791a895d38f9313
treeb08cc053174d03a98b59c08b0dd4a2469561fb44
parent9c700b2bc62e35c37d7d9d8b3c11b79526b82b41
win32 theme: Get rid of deprecated style properties

That's pretty easy, because we can just delete them. The theme is broken either way.
gtk/theme/win32/gtk-win32-base.css
gtk/theme/win32/gtk.css